Combining Philosophers

All the ideas for Hilbert,D/Ackermann,W, Herodotus and Henri Poincar

expand these ideas     |    start again     |     specify just one area for these philosophers

8 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
10245 One geometry cannot be more true than another [Poincaré]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
15923 Poincaré rejected the actual infinite, claiming definitions gave apparent infinity to finite objects [Poincaré, by Lavine]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
10180 Mathematicians do not study objects, but relations between objects [Poincaré]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
9916 Convention, yes! Arbitrary, no! [Poincaré, by Putnam]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
18203 Avoid non-predicative classifications and definitions [Poincaré]
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
15877 The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
1513 The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus]